<html>
  <head>
    
    <link rel="stylesheet" type="text/css" href="../../src/pubtools-search.css"></link>
    
    <script type="text/javascript" src="../../src/pubtools-util.js"></script>
    <script type="text/javascript" src="../../src/pubtools-search.js"></script>
    
    <style>
      #instructions { 
        width: 80%;
      }
    </style>
    
    <!-- 
      Point to a text file that has our list of URLs to index and search
      on the client-side. If URL not given, defaults to 'search.txt' relative
      to the current HTML page.
    -->
    <!--
      <link rel="search.urls" href="search.txt"></link>
    -->
    
    <!--
      Give the ID of an HTML element that we will dynamically insert the
      search UI into. If you don't provide an ID, defaults to
      'st-widget', such as <div id="st-widget"></div>
    -->
    <!--
      <meta name="search.widget" content="st-widget"></meta>
    -->
    
    <title>Demo of PubTools Search</title>				
  </head>
  
  <body>
      <h1>Demo of PubTools Search</h1>
      
      <p id="instructions">Easily drop a simple client-side search 
        engine into your page. This page indexes and allows you to locally 
        search over several public domain books from Project Gutenberg, 
        including Plato, Goethe, Montaigne, and more. Try searching for 
        'history'. Notice how the search returns results locally as you type.</p>
      
      <div id="st-widget"></div>
  </body>
</html>